COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
C00009 00003	\:@←cmathx \:a←cmr10          \:c←oldtyp[fnt,dek]
C00013 00004	\def\beginpaper{\gdef\tpage{T}\gdef\rauth{}\gdef\rtitle{}}
C00018 00005	\output{\baselineskip 0pt\lineskip0pt	% beginning of output routine, resets skips
C00021 00006	\setcount0 1
C00028 ENDMK
C⊗;
\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
\chcode'45←5 \chcode'43←6 \chcode'136←7 \chcode 1←8

% this format simulates an IBM Selectric

\def\lft#1{#1\hfill}
\def\ctr#1{\hfill#1\hfill}
\def\rt#1{\hfill#1}
\def\top#1{#1\vfill}
\def\mid#1{\vfill#1\vfill}
\def\bot#1{\vfill#1}

\def\rjustline#1{\hjust to size{\hskip0pt plus1000cm minus1000cm #1}}
\def\ctrline#1{\hjust to size{\hskip0pt plus1000cm minus1000cm #1\hskip0pt
	plus1000cm minus1000cm}}

\def\trace{\chpar0←} \def\jpar{\chpar1←}
\def\ragged{\chpar8←} \def\disppen{\chpar9←}

\def\log{\mathop{\char'154\char'157\char'147}\limitswitch}
\def\lg{\mathop{\char'154\char'147}\limitswitch}
\def\ln{\mathop{\char'154\char'156}\limitswitch}
\def\lim{\mathop{\char'154\char'151\char'155}}
\def\limsup{\mathop{\vjust{\vskip-.17xgpin\hjust{\:c\char'30\char'30\char'30}
\vskip-.17in\hjust{\:clim}}}}
\def\liminf{\mathop{\char'554\char'551\char'555}}
\def\sin{\mathop{\char'163\char'151\char'156}\limitswitch}
\def\cos{\mathop{\char'143\char'157\char'163}\limitswitch}
\def\tan{\mathop{\char'164\char'141\char'156}\limitswitch}
\def\cot{\mathop{\char'143\char'157\char'164}\limitswitch}
\def\sec{\mathop{\char'163\char'145\char'143}\limitswitch}
\def\csc{\mathop{\char'143\char'163\char'143}\limitswitch}
\def\max{\mathop{\char'155\char'141\char'170}}
\def\min{\mathop{\char'155\char'151\char'156}}
\def\sup{\mathop{\char'163\char'165\char'160}}
\def\inf{\mathop{\char'151\char'156\char'146}}
\def\det{\mathop{\char'144\char'145\char'164}}
\def\exp{\mathop{\char'145\char'170\char'160}\limitswitch}
\def\Pr{\mathop{\char'120\char'162}}
\def\gcd{\mathop{\char'147\char'143\char'144}}
\def\lcm{\mathop{\char'154\char'143\char'155}}

\def\sum{\mathop{\hjust{\:c"sum"}}}
\def\union{\mathop{\hjust{\:c"union"}}}
\def\infty{{\hjust{\:c00}}}
\def\in{\mathrel{\hjust{\:c"in"}}}
\def\beta{{\hjust{\:c"beta"}}}
\def\gamma{{\hjust{\:c"gamma"}}}
\def\delta{{\hjust{\:c"delta"}}}
\def\epsilon{{\hjust{\:c"epsilon"}}}
\def\{{\mathopen{\char'173}}
\def\}{\mathclose{\char'176}}
\def\rtarr{\mathrel{\hjust{\:c->}}}
% similar definitions would be made for any other symbols not present
\def\'{\spose'}
\def\`{\spose'}

\def\ldots{{.\≥.\≥.}}
\def\cdots{{.\≥.\≥.}}
\def\ldotss{{.\≥.\≥.\≥}}
\def\cdotss{\cdots\≥}
\def\ldotsm{{\≥.\≥.\≥.\≥}}
\def\vdots{\vjust{\hjust{.}\vskip-.085xgpin\hjust{.}\vskip-.085xgpin\hjust{.}}}

\def\leftset{\mathopen{\{\,}}
\def\rightset{\mathclose{\,\}}}

\def\neqv{\mathrel{\not≡}}

\def\%{\char'45 }	% Note, the space after 45 is needed!

\def\choose{\comb()}

\def\roman#1{\mathop{\hjust{\rm #1}}}

\def\modop{\<\,\mathbin{\char'155\char'157\char'144}\penalty900\<\,}
\def\mod#1{\penalty0\;(\char'155\char'157\char'144\,\,#1)}

\def\qquad{\quad\quad}

\def\cpile#1{\vcenter{\halign{\hfill$## $\hfill\cr#1}}}
\def\lpile#1{\vcenter{\halign{$## $\hfill\cr#1}}}
\def\rpile#1{\vcenter{\halign{\hfill$## $\cr#1}}}
\def\eqalign#1{\vcenter{\baselineskip\widespacing\lineskip0pt
\halign{\hfill$\dispstyle{##}$⊗$\dispstyle{\null##}$\hfill
\cr#1}}}
\def\eqalignno#1{\vjust{\baselineskip\widespacing\lineskip0pt
   \tabskip 0pt plus 1000pt minus 1000pt
   \halign to size{\hfill$\dispstyle{##}$\tabskip 0pt
   ⊗$\dispstyle{\null##}$\hfill\tabskip 0 pt plus 1000pt minus 1000pt
   ⊗\hfill$ ##$\tabskip 0pt\cr#1}}}
\def\null{\hjust{}}
\def\twoline#1#2{\halign{\hjust to size{##}\cr\quad$\dispstyle{#1}$\hfill\cr
\hfill$\dispstyle{#2}$\quad\cr}}

\def\cut#1{\hjust{\lower .17xgpin
\null\vjust{\hjust{\lower100pt\hjust{\raise100pt
\hjust{$\dispstyle{#1}$}}}\vskip-100pt}}} % pretends that #1 is one line deep
\def\spose#1{\hjust to 0pt{\hskip 0pt minus 300pt #1 \hskip 0pt minus 10000000pt}}

\def\properties#1{\vjust{\halign{\hjust to .765xgpin{\hfill\rm## }⊗\!
\hjust to 6xgpin{##\hfill}\hskip .235xgpin\cr\noalign{\vskip-.17xgpin}
#1\noalign{\vskip-.17xgpin}}}}

\def\leave blank #1 in#2${\vjust to #1xgpin{}$}
\:@←cmathx \:a←cmr10          \:c←oldtyp[fnt,dek]
\:d←cmr7             \:f←cmr5 \:g←cmi10
                     \:j←cmi7          
\:l←cmi5                        \:n←cms10
\:q←cmb10                            
           \:u←cmsy10           \:w←undtyp[fnt,dek]
\:x←cmsy7            \:z←cmsy5
                                \:?←cmti10

\hsize 7xgpin \vsize 8xgpin \maxdepth 5pt \parindent .425xgpin 
\ragged 1000000
\disppen 1000 % prohibit break just before display
\topbaseline .125xgpin \mathsurround .085xgpin
\def\widespacing{.425xgpin}
\parskip 0pt \lineskip 0pt
\topskip .51xgpin  \botskip .34xgpin
\baselineskip .34xgpin \dispskip .17xgpin
\dispaskip 0pt \dispbskip .17xgpin
\def\rm{\:c} \def\sl{\:w} \def\bf{\:w} \def\it{\:w} \def\nm{\:c}
\def\biglp{(}
\def\bigrp{)}
\def\bigv{|}
\def\strut{}
\def\9{\hskip .085xgpin}
\mathrm ccc \mathit ccc \mathsy www \rm
\mathex @
\def\bigglp{\mathopen{\ (\ }}
\def\biggrp{\mathclose{\ )\ }}
\def\biggv{\hjust{ | }}
\def\biggglp{\mathopen{\ (\ }}
\def\bigggrp{\mathclose{\ )\ }}
\def\bigggv{\hjust{ | }}

\def\xskip{\quad}
\def\yskip{\penalty-50\vskip .085xgpin}
\def\yyskip{\penalty-100\vskip .17xgpin}

\def\boldify#1{\spose{\raise.005xgpin\hjust{\spose{\hskip.005xgpin #1}#1}}\!
\spose{\hskip.005xgpin #1}#1}
\def\beginpaper{\gdef\tpage{T}\gdef\rauth{}\gdef\rtitle{}}

\def\title#1\par{\noindent\boldify{{\:w#1}}\par\yyskip}
\def\shorttitle#1\par{\gdef\rtitle{#1\unskip}}
\def\author#1\par{\noindent by #1\par\yyskip}
\def\shortauthor#1\par{\gdef\rauth{#1\unskip}}
\def\authaddr#1\par{\noindent #1\par\yyskip}
\def\commby#1\par{\noindent Communicated by #1\par\yskip}
\def\daterecd#1\par{\noindent Received #1\par\yskip}
\def\keywords#1\par{\noindent Keywords: #1\par\yskip}
\def\AMSclass#1\par{\noindent AMS (MOS) subject classifications (1970): #1\par
\yskip}
\def\abstract#1\par{\yyskip\hangindent .425xgpin after 0 \hsize 6.575xgpin 
{\baselineskip .255xgpin \noindent\boldify{Abstract:}\xskip#1\par}
\hsize 7xgpin}
\def\begintext{\yyskip}

\def\ref#1{{\:w(}\boldify{#1}{\:w)}}
\def\thbegin #1. #2\par{\yyskip\noindent\boldify{#1.}\xskip{\sl#2}\par\yyskip}
\def\proofbegin #1. {#1.\xskip}
\def\QED{\quad\hjust{QED}\lower .34xgpin\hjust{ }}
\def\defbegin #1. {\noindent\boldify{#1.}\xskip}
\def\references{\yyskip\chcode'43←12
\noindent\boldify{\:w References}\par\penalty1000\vskip .34xgpin\:c}

\def\refno #1. \au#2 #3\par{\noindent\hangindent .425xgpin
\hjust to .425xgpin{\hskip0pt plus 100pt minus 100pt \boldify{#1.} }#2,
\gdef\ispaper{F}\gdef\isvol{F}\gdef\isissue{F}\gdef\isyear{F}\gdef\ispages{F}
\gdef\thebook{}\gdef\ispubl{F}\gdef\ispubladdr{F}\gdef\isMR{F}
#3\!
\if T\ispaper{"\thepaper," {\sl\thebook}\if T\isvol{\ \boldify{\thevol}}\else{}
\if T\isissue{, \theissue}\else{}
\if T\isyear{\ (\theyear)}\else{}}
\else{\if F\isbook{---unknown type of reference---}\else{{\sl\thebook},
\if T\isvol{Vol. \thevol, }\else{}
\if T\ispubl{\thepubl, }\else{}
\if T\ispubladdr{\thepubladdr, }\else{}
\if T\isyear{\theyear}\else{year of publication unknown}}}
\if T\ispages{, \thepages}\else{}
\if T\isMR{.\xskip\theMR}\else{}.\par}

\def\paper#1 {\gdef\ispaper{T}\gdef\thepaper{#1}}
\def\jour#1 {\gdef\isjour{T}\gdef\thebook{#1}}
\def\vol#1 {\gdef\isvol{T}\gdef\thevol{#1}}
\def\issue#1 {\gdef\isissue{T}\gdef\theissue{#1}}
\def\year#1 {\gdef\isyear{T}\gdef\theyear{#1}}
\def\pages#1 {\gdef\ispages{T}\gdef\thepages{#1}}
\def\MR#1 {\gdef\isMR{T}{\MRS#1!}}
\chcode'43←12\chcode'26←6 % temporarily make ⊗ the parameter symbol instead of #
\def\MRS⊗1#⊗2!{\gdef\theMR{{\bf MR ⊗1 }#⊗2}}\chcode'43←6\chcode'26←4
\def\sameauthor{----}
\def\toappear{\gdef\ispages{T}\gdef\thepages{to appear}}
\def\book#1 {\gdef\isbook{T}\gdef\thebook{#1}}
\def\publ#1 {\gdef\ispubl{T}\gdef\thepubl{#1}}
\def\publaddr#1 {\gdef\ispubladdr{T}\gdef\thepubladdr{#1}}

\def\endpaper{\vfill\eject}
\output{\baselineskip 0pt\lineskip0pt	% beginning of output routine, resets skips
	\vjust to 9xgpin{       % prepare the full page of this fixed height
	\if T\tpage		% the next is used when tpage is "T" (title pages)
		{\gdef\tpage{F} % reset tpage
		\vjust to .67xgpin{}}% omit headlines
	\else{\vjust to .67xgpin{\hjust{\:c\rauth: \rtitle}\vfill}}
		\page		% insert the page contents
		\vfill		 % extra space before the page number
	\hjust to 7xgpin{\:c\hfill-\count0-\hfill}
	}			% completion of the \vjust
	\advcount0}		% increase page number by 1 and end output routine

\jpar 100
\setcount0 1